<html>
<head><meta charset="utf-8"><title>meeting 2019.06.11 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html">meeting 2019.06.11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="167879777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167879777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167879777">(Jun 11 2019 at 19:00)</a>:</h4>
<p>hello <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="167879855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167879855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167879855">(Jun 11 2019 at 19:00)</a>:</h4>
<p>how is it going ? :)</p>



<a name="167879907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167879907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167879907">(Jun 11 2019 at 19:01)</a>:</h4>
<p>as usual, our <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6C806s~AZK~e7wagmys2_wAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6C806s~AZK~e7wagmys2_wAg-hk3a9ynduUN2gk1A0NNTF">WIP roadmap</a> on Paper</p>



<a name="167879978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167879978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167879978">(Jun 11 2019 at 19:01)</a>:</h4>
<p>since we spent a while together on friday I'm expecting a shorter meeting today</p>



<a name="167880054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880054">(Jun 11 2019 at 19:02)</a>:</h4>
<p>ie some more <em>expert scheduling</em></p>



<a name="167880104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880104">(Jun 11 2019 at 19:02)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> is everything going ok for you with your profiling adventures ?</p>



<a name="167880105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880105">(Jun 11 2019 at 19:02)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="167880150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880150">(Jun 11 2019 at 19:03)</a>:</h4>
<p>ok; well, as I wasn't there on Friday, brief update on my progress: I think I'm getting close to profiling all relevant location of polonius/nll though some checking by <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  would probably make sense</p>



<a name="167880187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880187">(Jun 11 2019 at 19:03)</a>:</h4>
<p>also i just did a run on the code examples from polonius I got first data</p>



<a name="167880209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880209">(Jun 11 2019 at 19:03)</a>:</h4>
<p><a href="/user_uploads/4715/C7fHB1wgXXWWxNrd1N8sbRy1/measurements.zip" target="_blank" title="measurements.zip">measurements.zip</a></p>



<a name="167880273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880273">(Jun 11 2019 at 19:04)</a>:</h4>
<p>for those interested, not much<br>
but yeah</p>



<a name="167880274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880274">(Jun 11 2019 at 19:04)</a>:</h4>
<p>:D</p>



<a name="167880288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880288">(Jun 11 2019 at 19:04)</a>:</h4>
<p>nice !</p>



<a name="167880319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880319">(Jun 11 2019 at 19:04)</a>:</h4>
<p>thanks for working on that, it'll be a good first step</p>



<a name="167880343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880343">(Jun 11 2019 at 19:04)</a>:</h4>
<p>Cool! Really looking forward to using this for my report at some point :)</p>



<a name="167880349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880349">(Jun 11 2019 at 19:05)</a>:</h4>
<p>so next I- subject to proper instrumenting of the code -  I plan to select some crates from rust-perf and give those a try</p>



<a name="167880373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880373">(Jun 11 2019 at 19:05)</a>:</h4>
<p>(I'll take a look in more detail after the meeting)</p>



<a name="167880404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880404">(Jun 11 2019 at 19:05)</a>:</h4>
<p>santiago had done a run of those rustc-perf crates a while back</p>



<a name="167880441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880441">(Jun 11 2019 at 19:06)</a>:</h4>
<p>there's still a zulip thread for that, but those contained outliers IIRC so it'll be nice to compare with yours</p>



<a name="167880481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880481">(Jun 11 2019 at 19:06)</a>:</h4>
<p>even without NLL?</p>



<a name="167880504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880504">(Jun 11 2019 at 19:06)</a>:</h4>
<p>yep, that'd be cool</p>



<a name="167880519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880519">(Jun 11 2019 at 19:06)</a>:</h4>
<p>I <em>think</em> it was just the Polonius overhead over regular NLLs</p>



<a name="167880539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880539">(Jun 11 2019 at 19:06)</a>:</h4>
<p>(but I can check afterwards)</p>



<a name="167880562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880562">(Jun 11 2019 at 19:07)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> has been mainly working on their presentation IIUC</p>



<a name="167880569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880569">(Jun 11 2019 at 19:07)</a>:</h4>
<p>ok</p>



<a name="167880586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880586">(Jun 11 2019 at 19:07)</a>:</h4>
<p>yeah, but still interesting I guess</p>



<a name="167880598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880598">(Jun 11 2019 at 19:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Yes, I haven't really gotten anything done on initialisation</p>



<a name="167880662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880662">(Jun 11 2019 at 19:08)</a>:</h4>
<p>the WIP presentation is interesting in any case :)</p>



<a name="167880680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880680">(Jun 11 2019 at 19:08)</a>:</h4>
<p>Yes, and I think it was useful to get a better feeling for what I'm doing as well</p>



<a name="167880700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880700">(Jun 11 2019 at 19:08)</a>:</h4>
<p>Explaining things to others is the best way to learn and all that</p>



<a name="167880717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880717">(Jun 11 2019 at 19:08)</a>:</h4>
<p>I myself worked a bit on prototyping the variant Niko/Aaron described last week</p>



<a name="167880727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880727">(Jun 11 2019 at 19:08)</a>:</h4>
<p>Cool! How's it going?</p>



<a name="167880756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880756">(Jun 11 2019 at 19:09)</a>:</h4>
<p>I haven't much progress since the meeting</p>



<a name="167880772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880772">(Jun 11 2019 at 19:09)</a>:</h4>
<p>mostly just a plan to find out what are the differences I was seeing</p>



<a name="167880790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880790">(Jun 11 2019 at 19:09)</a>:</h4>
<p>and I've also worked a tiny bit on rustc's test suite analysis</p>



<a name="167880800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880800">(Jun 11 2019 at 19:10)</a>:</h4>
<p>since Matthew's PR landed</p>



<a name="167880857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880857">(Jun 11 2019 at 19:10)</a>:</h4>
<p>I haven't had a chance to look into your prototype yet</p>



<a name="167880871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880871">(Jun 11 2019 at 19:10)</a>:</h4>
<p>But I was hoping to do so ..</p>



<a name="167880889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880889">(Jun 11 2019 at 19:10)</a>:</h4>
<p>so I just took care of 8 out of 23/24 failures (the simplest ones)</p>



<a name="167880911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880911">(Jun 11 2019 at 19:10)</a>:</h4>
<blockquote>
<p>I haven't had a chance to look into your prototype yet</p>
</blockquote>
<p>no worries, take your time :)</p>



<a name="167880954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880954">(Jun 11 2019 at 19:11)</a>:</h4>
<blockquote>
<p>so I just took care of 8 out of 23/24 failures (the simplest ones)</p>
</blockquote>
<p>is the plan to basically go through the errors 1 by 1?</p>



<a name="167880964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880964">(Jun 11 2019 at 19:11)</a>:</h4>
<p>the WIP analysis is <a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view">here</a></p>



<a name="167880971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880971">(Jun 11 2019 at 19:11)</a>:</h4>
<p>right now yeah</p>



<a name="167880983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167880983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167880983">(Jun 11 2019 at 19:11)</a>:</h4>
<p>assuming the plan I had in mind was "sound"</p>



<a name="167881051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881051">(Jun 11 2019 at 19:12)</a>:</h4>
<p>that is, try to ignore most of the "failures because of test constructions" until we execute the tests on CI</p>



<a name="167881075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881075">(Jun 11 2019 at 19:12)</a>:</h4>
<p>and bless the ones which are mostly diagnostics based</p>



<a name="167881087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881087">(Jun 11 2019 at 19:12)</a>:</h4>
<p>and open issues for later about all those</p>



<a name="167881125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881125">(Jun 11 2019 at 19:13)</a>:</h4>
<p>and for the ones left after that (which will be the majority): look at them in more detail 1 by 1</p>



<a name="167881220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881220">(Jun 11 2019 at 19:14)</a>:</h4>
<p>I haven't yet looked at them enough to see if they're regressions, or optimizations or difference in MIR construction etc</p>



<a name="167881258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881258">(Jun 11 2019 at 19:14)</a>:</h4>
<p>also in case it was missed: the liveness PR has been merged into Polonius <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> awesome job <span class="user-mention" data-user-id="204115">@Albin Stjerna</span></p>



<a name="167881291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881291">(Jun 11 2019 at 19:15)</a>:</h4>
<p>it seems like one of the main questions that we have left is how to land the rustc PR</p>



<a name="167881305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881305">(Jun 11 2019 at 19:15)</a>:</h4>
<p>Yes! Unfortunately, the changes to rustc just got out of sync with master <em>again</em></p>



<a name="167881309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881309">(Jun 11 2019 at 19:15)</a>:</h4>
<p>it might be worth digging more deeply into that discrepancy that we saw</p>



<a name="167881325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881325">(Jun 11 2019 at 19:15)</a>:</h4>
<p>yes, I think so too</p>



<a name="167881411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881411">(Jun 11 2019 at 19:16)</a>:</h4>
<p>But I don't think I can see a way to get to the output generated by rustc with just propagation of any sort across the CFG</p>



<a name="167881426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881426">(Jun 11 2019 at 19:16)</a>:</h4>
<p>in the other topic I mentioned this reminded me of a similar situation for generators</p>



<a name="167881441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881441">(Jun 11 2019 at 19:17)</a>:</h4>
<p>maybe it is related</p>



<a name="167881466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881466">(Jun 11 2019 at 19:17)</a>:</h4>
<p>Ah, now I understand that</p>



<a name="167881477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881477">(Jun 11 2019 at 19:17)</a>:</h4>
<blockquote>
<p>But I don't think I can see a way to get to the output generated by rustc with just propagation of any sort across the CFG</p>
</blockquote>
<p>not sure I follow this</p>



<a name="167881480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881480">(Jun 11 2019 at 19:17)</a>:</h4>
<p>however</p>



<a name="167881483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881483">(Jun 11 2019 at 19:18)</a>:</h4>
<p>so yeah this seems like a good topic for this week I assume ? no need to start on move/overwrite until that is sorted, right ?</p>



<a name="167881540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881540">(Jun 11 2019 at 19:18)</a>:</h4>
<p>yeah, I mean, I think we should start on move mostly because I want poor <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> to make progress on their thesis</p>



<a name="167881550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881550">(Jun 11 2019 at 19:18)</a>:</h4>
<p>but why don't we spent a few minutes digging into that question right now</p>



<a name="167881556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881556">(Jun 11 2019 at 19:18)</a>:</h4>
<p>I suspect it won't take that long to get to the bottom of it</p>



<a name="167881559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881559">(Jun 11 2019 at 19:18)</a>:</h4>
<p>(unless we have other things to do in meeting)</p>



<a name="167881560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881560">(Jun 11 2019 at 19:18)</a>:</h4>
<p>Sounds good :)</p>



<a name="167881582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881582">(Jun 11 2019 at 19:18)</a>:</h4>
<blockquote>
<p>also in case it was missed: the liveness PR has been merged into Polonius <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> awesome job <span class="user-mention silent" data-user-id="204115">Albin Stjerna</span></p>
</blockquote>
<p>sth to consider for profiling?</p>



<a name="167881615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881615">(Jun 11 2019 at 19:19)</a>:</h4>
<p>Not yet I think, given that the rustc code isn't in place</p>



<a name="167881622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881622">(Jun 11 2019 at 19:19)</a>:</h4>
<p>I don't think there are many things left for the meeting (I remembered I wanted to ask about illegal subset relations in the new proposal during last week's call but forgot, and "placeholder loans")</p>



<a name="167881717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881717">(Jun 11 2019 at 19:20)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> Or, I think it might be interesting to dump performance data for the liveness analysis itself, which happens before the rest of Polonius runs, if possible</p>



<a name="167881737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881737">(Jun 11 2019 at 19:20)</a>:</h4>
<blockquote>
<p>sth to consider for profiling?</p>
</blockquote>
<p>yeah probably :) (the code right now is in Polonius, while I think you've been mainly instrumenting rustc itself)</p>



<a name="167881770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881770">(Jun 11 2019 at 19:20)</a>:</h4>
<blockquote>
<blockquote>
<p>sth to consider for profiling?</p>
</blockquote>
<p>yeah probably :) (the code right now is in Polonius, while I think you've been mainly instrumenting rustc itself)</p>
</blockquote>
<p>oh yeah, sorry</p>



<a name="167881773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881773">(Jun 11 2019 at 19:20)</a>:</h4>
<p>my bad</p>



<a name="167881825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881825">(Jun 11 2019 at 19:21)</a>:</h4>
<p>Yes, the liveness part happens as part of the call to Polonius so it has to be annotated from within Polonius</p>



<a name="167881834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881834">(Jun 11 2019 at 19:21)</a>:</h4>
<p>Which makes sense to do I think</p>



<a name="167881859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881859">(Jun 11 2019 at 19:21)</a>:</h4>
<p>(oh no it's a good thing to keep in mind no worries <span class="user-mention" data-user-id="218716">@lokalmatador</span> )</p>



<a name="167881860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881860">(Jun 11 2019 at 19:21)</a>:</h4>
<p>If it can be done, that is</p>



<a name="167881866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881866">(Jun 11 2019 at 19:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> ps I'm leaning mildly towards modifying the "region error" approach to use "placeholder loans" again, at least in the context of the new analysis, since we're not tracking "subtype" relations directly</p>



<a name="167881906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167881906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167881906">(Jun 11 2019 at 19:21)</a>:</h4>
<p>so for this week does this sound good:</p>



<a name="167882030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882030">(Jun 11 2019 at 19:23)</a>:</h4>
<ul>
<li><span class="user-mention" data-user-id="218716">@lokalmatador</span> will start gathering data on the rustc-perf suite</li>
<li>we can hash out the final changes/checks for rustc's liveness</li>
<li>I'll keep on with rustc's test + try to move forward a bit with the prototype</li>
</ul>



<a name="167882186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882186">(Jun 11 2019 at 19:24)</a>:</h4>
<p>(in case people want to leave early, or switch to the liveness thread, thank you all for your time)</p>



<a name="167882241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882241">(Jun 11 2019 at 19:25)</a>:</h4>
<p>alright, see y'all!</p>



<a name="167882304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882304">(Jun 11 2019 at 19:26)</a>:</h4>
<blockquote>
<p>ps I'm leaning mildly towards modifying the "region error" approach to use "placeholder loans" again</p>
</blockquote>
<p>we described (a bit) a similar approach when we last wanted to remove subset relations, I think ?</p>



<a name="167882392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882392">(Jun 11 2019 at 19:26)</a>:</h4>
<p>yes</p>



<a name="167882413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882413">(Jun 11 2019 at 19:27)</a>:</h4>
<p>the motivation is stronger now, in that we would not be propagating the subset relations the same way</p>



<a name="167882473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882473">(Jun 11 2019 at 19:27)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> ps I'm leaning mildly towards modifying the "region error" approach to use "placeholder loans" again, at least in the context of the new analysis, since we're not tracking "subtype" relations directly</p>
</blockquote>
<p>And I'm currently working out what a similar change to Oxide looks like too. <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="167882483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882483">(Jun 11 2019 at 19:28)</a>:</h4>
<p>keep us posted <span class="user-mention" data-user-id="127262">@Aaron Weiss</span> :)</p>



<a name="167882538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882538">(Jun 11 2019 at 19:28)</a>:</h4>
<p>especially if you find the soundess flaw</p>



<a name="167882604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882604">(Jun 11 2019 at 19:29)</a>:</h4>
<p>I have <em>completely forgotten</em> everything we said last time about placeholder loans, which is OK with Zulip as there was a dedicated thread</p>



<a name="167882958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167882958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167882958">(Jun 11 2019 at 19:32)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> didn't quite know that I was doing, but Niko pointed out the similarity when I was pinging him about the current change.</p>



<a name="167883107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883107">(Jun 11 2019 at 19:34)</a>:</h4>
<p>it's nice to see the 2 different models helping validate/improve each other</p>



<a name="167883115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883115">(Jun 11 2019 at 19:34)</a>:</h4>
<p>(and also reassuring)</p>



<a name="167883311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883311">(Jun 11 2019 at 19:37)</a>:</h4>
<p>indeed! from my perspective, the validation is especially nice because the academic cycle for validating ideas is much slower and the time between submissions can feel pretty hopeless and grueling sometimes.</p>



<a name="167883401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883401">(Jun 11 2019 at 19:38)</a>:</h4>
<p>definitely nice to have a feeling of "well, this is like what some other smart people are doing" <span aria-label="wink" class="emoji emoji-1f609" role="img" title="wink">:wink:</span></p>



<a name="167883549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883549">(Jun 11 2019 at 19:39)</a>:</h4>
<p>/me notes "hopeless and gruelling"</p>



<a name="167883656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883656">(Jun 11 2019 at 19:40)</a>:</h4>
<p>yeah just before a PhD <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> :p</p>



<a name="167883734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883734">(Jun 11 2019 at 19:41)</a>:</h4>
<p>Well, I just accepted a PhD position this autumn (which gives my Master's a soft deadline of “August-ish” and a hard deadline of “September 1st, minus propagation time for grades and diploma”)</p>



<a name="167883785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883785">(Jun 11 2019 at 19:42)</a>:</h4>
<p>where at?</p>



<a name="167883799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883799">(Jun 11 2019 at 19:42)</a>:</h4>
<p>Uppsala university</p>



<a name="167883806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883806">(Jun 11 2019 at 19:42)</a>:</h4>
<p>Ah, still with Tobias?</p>



<a name="167883841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883841">(Jun 11 2019 at 19:43)</a>:</h4>
<p>No, it's with Philipp Rümmer on using SMT with string constraints for finding XSS in javascript</p>



<a name="167883843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883843">(Jun 11 2019 at 19:43)</a>:</h4>
<p>So a bit unrelated</p>



<a name="167883851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883851">(Jun 11 2019 at 19:43)</a>:</h4>
<p>Tobias has, err, no money for PhDs :(</p>



<a name="167883856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883856">(Jun 11 2019 at 19:43)</a>:</h4>
<p>Ah, still cool. Congrats! <span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span></p>



<a name="167883868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883868">(Jun 11 2019 at 19:43)</a>:</h4>
<p>(that last bit is uncool and rather unfortunate :s)</p>



<a name="167883871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167883871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167883871">(Jun 11 2019 at 19:44)</a>:</h4>
<p>But I think he plans on letting me keep his course floating as a TA when he's away on a teaching sabbatical for a year</p>



<a name="167884014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167884014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167884014">(Jun 11 2019 at 19:45)</a>:</h4>
<blockquote>
<p>Ah, still cool. Congrats! <span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span></p>
</blockquote>
<p>Thank you!</p>



<a name="167884849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167884849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167884849">(Jun 11 2019 at 19:55)</a>:</h4>
<blockquote>
<p><a href="/user_uploads/4715/C7fHB1wgXXWWxNrd1N8sbRy1/measurements.zip" target="_blank" title="measurements.zip">measurements.zip</a></p>
</blockquote>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> this data is looking nice already, thank you. (and also of course thanks to <span class="user-mention" data-user-id="125250">@Wesley Wiser</span> for -Z self-profile/measureme/summarize)</p>



<a name="167884972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167884972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167884972">(Jun 11 2019 at 19:56)</a>:</h4>
<p>Credit where credit is due: <span class="user-group-mention" data-user-group-id="1123">@WG-self-profile</span> <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="167884993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167884993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167884993">(Jun 11 2019 at 19:57)</a>:</h4>
<p>yup, quite a nice tool</p>



<a name="167885123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167885123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167885123">(Jun 11 2019 at 19:58)</a>:</h4>
<p>(ofc thanks <span class="user-mention" data-user-id="124287">@mw</span>  as well)</p>



<a name="167886163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/167886163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#167886163">(Jun 11 2019 at 20:11)</a>:</h4>
<p>Ok, I have an early morning tomorrow so I have to go to bed now. Night, expert schedulers!</p>



<a name="168880774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/168880774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#168880774">(Jun 24 2019 at 20:04)</a>:</h4>
<p>(sorry for the delay, I just got back from a funeral and will start on the meeting notes now)</p>



<a name="168887491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.11/near/168887491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E11.html#168887491">(Jun 24 2019 at 21:41)</a>:</h4>
<p>ok finally posted the notes PR <a href="https://github.com/rust-lang/compiler-team/pull/110" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/110">here</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>